#include<iostream>
#include<format>
using namespace std;
int main()
{
  long long m,k,s=0;
  cin>>m>>k;
  while(m)
  {
    if(m%10==3)
    s++;
    m/=10;
  }
  if(s==k)cout<<"YES";
  else cout<<"NO";
}